Behavioural specification of middleware systems
نویسندگان
چکیده
منابع مشابه
Petri Net Based Behavioural Specification of CORBA Systems
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behaviour of objects in an abstract a...
متن کاملOrganization Models and Behavioural Requirements Specification for Multi-Agent Systems
The main question addressed in this paper is how requirements on the dynamics of a multi-agent systems and individual agents can be related to the dynamics of high level concepts given by an organisation model, such as groups, roles within groups, and role interaction.
متن کاملA LOTOS Framework for Middleware Specification
This paper presents a LOTOS framework for the specification of middleware systems. The framework consists of a library of basic middleware components and some guidelines on how to compose them. The components of the framework facilitate the formal specification of different middleware systems.
متن کاملFrom Architectural to Behavioural Specification of Services
Many efforts are currently devoted to provide software developers with methods and techniques that can endow serviceoriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the S project that address different levels of abstraction of the software engineering process. Here, we report on two such...
متن کاملQoS management specification support for multimedia middleware
Middleware technologies are now widely used in order to provide support for the interaction of systems relying on different hardware and operating systems. At present middleware platforms, however, do not provide enough support for both the configuration and reconfiguration of quality of service (QoS) management aspects of real-time applications such as distributed multimedia systems. That is, ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of the Brazilian Computer Society
سال: 2006
ISSN: 0104-6500
DOI: 10.1590/s0104-65002006000300006